Formal Specification in Heterogeneous Distributed Software Integration*
نویسندگان
چکیده
Chunmin Yang Rajeev R. Raje Mikhail Auguston Barrett R. Bryant Andrew M. Olson Carol C. Burt Computer/Information Sciences Computer/Information Science Computer Science Univ. of Alabama-Birmingham Indiana Univ. Purdue Univ. New Mexico State Univ. Birmingham, AL 35294, USA Indianapolis, IN 46202, USA Las Cruces, NM 88003, USA {yangc, bryant, cburt}@cis.uab.edu {rraje, aolson}@cs.iupui.edu [email protected]
منابع مشابه
Semi-Formal and Formal Specification Techniques for Software Systems
s in order of presentations at Dagstuhl seminar: Hartmut Ehrig Towards a Formal Model and a Component Concept for the Integration Paradigm . . . . . . . . . . . . . . . . . 1 Martin Große-Rhode Integration of Heterogeneous Software Specifications based on Transformation Systems . . . . . . . . . . . 1 Stefan Gruner A New Tool for the Simulation And Visualization of Distributed Algorithms . . . ...
متن کاملEidgenössische Technische Hochschule Zürich
Cooperative software engineering requires integration of a distributed and heterogeneous world of actors and resources. Component technology will augment integration problems due to distributed development of large numbers of interoperating components. Extensible Attribute Grammars (EAG) are used for the specification and generation of highly integrated tool components that support the software...
متن کاملA Unified Framework for Developing Service-Oriented, Component-Based Distributed Software Systems
This chapter introduces the UniFrame approach to creating high quality computing systems from heterogeneous components distributed over a network. It describes how this approach employs a unifying framework for specifying such systems to unite the concepts of service-oriented architectures, a component-based software engineering methodology and a mechanism for automatically finding components o...
متن کاملA Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems
In applying Component-Based Software Engineering (CBSE) techniques to the domain of Distributed Real-time and Embedded (DRE) Systems, there are five critical challenges: 1) discovery of relevant components and resources, 2) specification and modeling of components, 3) exploration and elimination of design assembly options, 4) automated generation of heterogeneous component bridges, and 5) valid...
متن کاملGipsy: Generating Integrated Process Support Systems Project Overview
Cooperative software engineering requires integration of a distributed and heterogeneous world of actors and resources. Component technology will augment integration problems due to distributed development of large numbers of interoperating components. Extensible Attribute Grammars (EAG) are used for the specification and generation of highly integrated tool components that support the software...
متن کامل